module ValloyModuleB

sig B  {}

